The L4 Microkernel

• Why L4?
• Features of L4
• Memory management in L4
• Device drivers in L4/ARM
• HURD on L4
  • Memory Management
  • Interprocess Communication
  • Emulating Mach
  
  
• Experimental Evaluation